arch_c_srcs:= gicv3.c cpu.c interrupts.c mmu.c
arch_s_srcs:= boot.S exceptions.S plat_helpers.S debug.S page_tables.S cache_helpers.S
